Edmund Clarke
Apariencia
Edmund Clarke | ||
---|---|---|
![]() | ||
Información personal | ||
Nombre en inglés | Edmund Melson Clarke, Jr. | |
Nacimiento |
27 de julio de 1945 Newport News (Estados Unidos) | |
Fallecimiento |
22 de diciembre de 2020 Pittsburgh (Estados Unidos) | (75 años)|
Causa de muerte | COVID-19 | |
Nacionalidad | Estadounidense | |
Lengua materna | Inglés | |
Educación | ||
Educado en |
| |
Supervisor doctoral | Robert Lee Constable | |
Información profesional | ||
Ocupación | Informático teórico, profesor universitario, ingeniero y matemático | |
Área | Ciencias de la información y ciencias de la computación | |
Empleador |
| |
Estudiantes doctorales | E. Allen Emerson | |
Estudiantes | E. Allen Emerson | |
Miembro de |
| |
Sitio web | www.cs.cmu.edu/~emc | |
Distinciones |
| |
Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.
Biografía
[editar]Principalmente reconocido por haber desarrollado el método conocido como «model checking», para verificar diseños de software o hardware.
Clarke fue el Profesor FORE Systems de Ciencias de la Computación en la Universidad Carnegie Mellon. Junto con E. Allen Emerson y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
Falleció el 22 de diciembre de 2020 a los 75 años a causa de COVID-19.[1]
Referencias
[editar]- ↑ Byron Spice (23 de diciembre de 2020). «Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors». Carnegie Mellon University (en inglés). Consultado el 25 de diciembre de 2020.
Enlaces externos
[editar]- Anuncio del Premio Turing 2007. (en inglés)
Predecesor: Frances Allen |
Premio Turing 2007 |
Sucesor: Barbara Liskov |